int dicksmain(void);
